From fdd036c9b10d0a29b5f2f0271a0af3f3e7cb8d2b Mon Sep 17 00:00:00 2001 From: "awilliam@xenbuild.aw" Date: Thu, 21 Sep 2006 15:33:50 -0600 Subject: [PATCH] [IA64] fix a vhpi bug Signed-off-by: Anthony Xu --- xen/arch/ia64/vmx/vlsapic.c | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/xen/arch/ia64/vmx/vlsapic.c b/xen/arch/ia64/vmx/vlsapic.c index 0bc909f127..e37ed4e532 100644 --- a/xen/arch/ia64/vmx/vlsapic.c +++ b/xen/arch/ia64/vmx/vlsapic.c @@ -298,7 +298,7 @@ static void update_vhpi(VCPU *vcpu, int vec) // TODO: Add support for XENO if ( VCPU(vcpu,vac).a_int ) { ia64_call_vsa ( PAL_VPS_SET_PENDING_INTERRUPT, - (uint64_t) &(vcpu->arch.privregs), 0, 0,0,0,0,0); + (uint64_t)vcpu->arch.privregs, 0, 0, 0, 0, 0, 0); } } @@ -683,9 +683,5 @@ void vhpi_detection(VCPU *vcpu) void vmx_vexirq(VCPU *vcpu) { - static uint64_t vexirq_count=0; - - vexirq_count ++; - printk("Virtual ex-irq %ld\n", vexirq_count); generate_exirq (vcpu); } -- 2.30.2